Notes on Types and Programming Languages
نویسنده
چکیده
This document aims to serve as a brief outline and concise reference for Types and Programming Languages by B. Pierce. The sections roughly correspond to the chapters in TAPL, but all the ML implementation chapters are omitted.
منابع مشابه
Five Paradigm Shifts in Programming Language Design and Their Realization in Viron , a Dataflow Programming Environment
We describe five paradigm shifts in programming language design, some old and some relatively new, namely Effect to Entity, Serial to Parallel. Partition Types to Predicate Types. Computable to Dcfinabic, and Syntactic Consistency to Semantic Consistency. WC argue for the adoption of each. WC exhibit a programming language, Viron, that capitalizes on these shifts. ‘This research was supported b...
متن کاملEstimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages
We address the problem of applying resource-bounded functional programming languages in practice on object-oriented virtual machines which include calls to native methods coded in low-level languages without garbage collection support. We consider the application of a functional language with a high-level type system which incorporates measures of heap space consumption in types on such an exec...
متن کاملKindle free e book Mark Steven Sherman Paragon: A Language Using Type Hierarchies For The Specification, Implementation, And Selection Of Abstract Data Types rb Play Books Download epubace.ru
Paragon: A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types (Lecture Notes in Computer Science) . Abstraction hierarchies : a model of. HathiTrust Digital Library Paragon A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types (Electronic book text) / Author: Mark . Kindle free e boo...
متن کاملFormalising in Nominal Isabelle Crary's Completeness Proof for Equivalence Checking
In the book on Advanced Topics in Types and Programming Languages, Crary illustrates the reasoning technique of logical relations in a case study about equivalence checking. He presents a type-driven equivalence checking algorithm and verifies its completeness with respect to a definitional characterisation of equivalence. We present in this paper a formalisation of Crary’s proof using Isabelle...
متن کاملSome challenging typing issues in object-oriented languages
In this paper we discuss some of the remaining problems in the design of static type systems for object-oriented programming languages. We look at typing problems involved in writing a simple interpreter as a good example of a simple problem leading to difficult typing issues. The difficulties encountered seem to arise in situations where a programmer desires to simultaneously refine mutually i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004